If-Diagrams: Theory and Application
نویسنده
چکیده
This paper presents a novel algebra of logic that generalizes the traditional Boolean algebra for partial (incompletely specified) variables and functions and is efficiently used to solve a lot of theoretical and practical optimization problems. Based on the logic, novel operations (including a very useful minimization operation), laws, and expansions are introduced. The logic allows generalizations of the traditional Boolean function representation forms. One of the most important generalization for BDDs is If-Diagrams (IFDs). The paper presents operations on the IFDs and diagram application fields. The theoretical results are used in a software implemented on Prolog for an IBM PC platform.
منابع مشابه
ساختار فاز میدانهای پیمانهای شبکهای دو بعدی U(N) با کنش مختلط
We study the phase structure of two dimensional pure lattice gauge theory with a Chern term. The symmetry groups are non-Abelian, finite and disconnected sub-groups of SU(3). Since the action is imaginary it introduces a rich phase structure compared to the originally trivial two dimensional pure gauge theory. The Z3 group is the center of these groups and the result shows that if we use one ...
متن کاملSpace-Valued Diagrams, Type-Theoretically (Extended Abstract)
Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type theory, where it is known only for special cases how one can define a type of type-valued diagrams over a given index category. We offer several constructions. ...
متن کاملDrawing CCCT Diagrams and Investigation of Deformation Effects on Martensite and Bainite Trabsformations in NiCrMoV Steel
In this study, two CCCT diagrams are drawn to be compared with a CCT diagram. The CCCT diagrams represent continuous cooling transformations in stress assisted state. The increased Md and Bd temperatures of CCCT diagrams were also compared with those of the CCT diagrams and the cause was investigated from both thermodynamic and metallurgical viewpoints. Thermodynamic examinations revealed that ...
متن کاملDrawing CCCT Diagrams and Investigation of Deformation Effects on Martensite and Bainite Trabsformations in NiCrMoV Steel
In this study, two CCCT diagrams are drawn to be compared with a CCT diagram. The CCCT diagrams represent continuous cooling transformations in stress assisted state. The increased Md and Bd temperatures of CCCT diagrams were also compared with those of the CCT diagrams and the cause was investigated from both thermodynamic and metallurgical viewpoints. Thermodynamic examinations revealed that ...
متن کاملبازاندیشی نسبت نظر و عمل در کار معمار، با تکیه بر خوانش گادامر از آراء ارسطو دربارۀ «حکمت عملی»
This paper provides answers to one of the most commonly asked questions in architectural education, which is about the lack of coherence resulting in the separation of theory and practice in architecture, by exploring philosophical concepts and assumptions. A look into Aristotle’s views about practice and theory reveals a new meaning of “practice," dimensions of which have been...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997